The Three Gap Theorem (Steinhauss Conjecture)
نویسنده
چکیده
We deal with the distribution of N points placed consecutively around the circle by a fixed angle of α. From the proof of Tony van Ravenstein [RAV88], we propose a detailed proof of the Steinhaus conjecture whose result is the following: the N points partition the circle into gaps of at most three different lengths. We study the mathematical notions required for the proof of this theorem revealed during a formal proof carried out in Coq.
منابع مشابه
On some generalisations of Brown's conjecture
Let $P$ be a complex polynomial of the form $P(z)=zdisplaystyleprod_{k=1}^{n-1}(z-z_{k})$,where $|z_k|ge 1,1le kle n-1$ then $ P^prime(z)ne 0$. If $|z|
متن کاملThe Three Gap Theorem (Steinhaus Conjecture)
We deal with the distribution of N points placed consecutively around the circle by a fixed angle of α. From the proof of Tony van Ravenstein [RAV88], we propose a detailed proof of the Steinhaus conjecture whose result is the following: the N points partition the circle into gaps of at most three different lengths. We study the mathematical notions required for the proof of this theorem reveal...
متن کامل$L_1$-Biharmonic Hypersurfaces in Euclidean Spaces with Three Distinct Principal Curvatures
Chen's biharmonic conjecture is well-known and stays open: The only biharmonic submanifolds of Euclidean spaces are the minimal ones. In this paper, we consider an advanced version of the conjecture, replacing $Delta$ by its extension, $L_1$-operator ($L_1$-conjecture). The $L_1$-conjecture states that any $L_1$-biharmonic Euclidean hypersurface is 1-minimal. We prove that the $L_1$-conje...
متن کاملGeneralizing the Tomboulis-Yaffe Inequality to SU(N) Lattice Gauge Theories and General Classical Spin Systems
We extend the inequality of Tomboulis and Yaffe in SU(2) lattice gauge theory (LGT) to SU(N) LGT and to general classical spin systems, by use of reflection positivity. Basically the inequalities guarantee that a system in a box that is sufficiently insensitive to boundary conditions has a non-zero mass gap. We explicitly illustrate the theorem in some solvable models. Strong coupling expansion...
متن کاملPointer Quantum PCPs and Multi-Prover Games
The quantum PCP (QPCP) conjecture states that all problems in QMA, the quantum analogue of NP, admit quantum verifiers that only act on a constant number of qubits of a polynomial size quantum proof and have a constant gap between completeness and soundness. Despite an impressive body of work trying to prove or disprove the quantum PCP conjecture, it still remains widely open. The above-mention...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006